Заикин О. С. , Семёнов А. А. , Кочемазов С. Е. , Отпущенников И. В. , Богачкова И. А. «Применение алгоритмов решения проблемы булевой выполнимости к криптоанализу хэш-функций семейства MD» // Прикладная дискретная математика. Приложение 2015. №8 C.139-142